19.66/19.72	unsat
