5.97/8.57	unsat
