5.97/8.35	unsat
