47.84/51.64	unsat
