79.43/81.48	unsat
