40.14/40.61	unsat
