42.12/42.37	unsat
