6.56/7.57	unsat
