8.77/10.34	unsat
