23.96/26.27	unsat
