8.55/10.29	unsat
