40.83/40.97	unsat
