117.94/122.69	unsat
