78.21/79.55	unsat
