5.71/6.61	unsat
