6.97/12.05	unsat
