78.98/82.32	unsat
