20.88/24.42	unsat
