8.77/10.66	unsat
