18.15/18.27	unsat
