20.55/22.95	unsat
