18.49/21.27	unsat
