47.63/50.85	unsat
