76.84/78.49	unsat
