8.78/10.43	unsat
