13.37/14.47	unsat
