77.91/82.93	unsat
