21.33/24.19	unsat
