6.56/6.62	unsat
