40.62/40.70	unsat
