40.94/42.77	unsat
