20.24/24.02	unsat
