80.31/80.99	unsat
