5.96/6.62	unsat
