18.77/22.27	unsat
