20.16/24.46	unsat
