20.96/24.15	unsat
