9.96/14.27	unsat
