5.28/6.62	unsat
