78.23/80.98	unsat
