5.63/6.61	unsat
