14.32/17.27	unsat
