5.97/7.58	unsat
