21.66/24.16	unsat
