10.47/13.58	unsat
