5.97/8.55	unsat
