41.46/42.11	unsat
