38.42/40.04	unsat
