40.69/42.31	unsat
