6.56/8.57	unsat
