13.37/14.34	unsat
