6.44/7.93	unsat
