40.85/40.96	unsat
