79.66/79.91	unsat
