40.42/40.62	unsat
