39.02/42.10	unsat
