19.56/19.89	unsat
