18.86/19.27	unsat
