13.95/14.34	unsat
