8.78/11.89	unsat
