18.77/21.27	unsat
