14.20/19.95	unsat
