39.35/42.36	unsat
