13.47/17.07	unsat
