5.97/6.05	unsat
