16.47/18.58	unsat
