20.34/24.27	unsat
