42.02/43.36	unsat
