78.48/88.23	unsat
