19.25/20.14	unsat
