6.68/7.15	unsat
