5.96/6.57	unsat
