47.84/51.62	unsat
