21.17/21.27	unsat
