7.32/10.69	unsat
