9.78/14.27	unsat
