5.97/9.55	unsat
