40.94/42.04	unsat
