6.66/8.57	unsat
