14.35/14.95	unsat
