8.77/11.75	unsat
