20.92/23.26	unsat
