19.55/22.44	unsat
