21.42/21.52	unsat
