20.96/24.27	unsat
