9.78/12.58	unsat
