40.26/40.41	unsat
