41.11/42.97	unsat
