78.34/82.49	unsat
