48.84/50.85	unsat
