18.54/22.27	unsat
