6.47/6.57	unsat
