13.95/14.09	unsat
