21.96/23.38	unsat
