40.52/40.61	unsat
