19.55/22.89	unsat
