99.34/99.68	unsat
