41.59/42.90	unsat
