41.80/42.34	unsat
