41.99/42.16	unsat
