19.56/19.67	unsat
