20.97/24.48	unsat
