19.24/20.14	unsat
