8.77/10.64	unsat
