21.55/23.02	unsat
