13.47/18.09	unsat
