76.80/78.12	unsat
