78.20/80.34	unsat
