5.77/6.93	unsat
