7.72/10.57	unsat
