13.47/14.39	unsat
